@article{aumann1976agreeing,
  title={Agreeing to disagree},
  author={Aumann, Robert J},
  journal={The annals of statistics},
  volume={4},
  number={6},
  pages={1236--1239},
  year={1976},
  publisher={Institute of Mathematical Statistics}
}

@article{mccarthy1960recursive,
  title={Recursive functions of symbolic expressions and their computation by machine, Part I},
  author={McCarthy, John},
  journal={Communications of the ACM},
  volume={3},
  number={4},
  pages={184--195},
  year={1960},
  publisher={ACM}
}
